fpf-normalize(eq;g) == reduce(x,f. x : 2of(g)(x)  f;;1of(g)) 

latex

---

clarification:

fpf-normalize(eq;g) == reduce(x,f. fpf-join(eq;x : 2of(g)(x);f);;1of(g)) 

latex

Definitions	reduce(f;k;as), x.A(x), f  g, x : v, f(a), 2of(t), , 1of(t)
FDL editor aliases	fpf-normalize